Mata Matters: File Processing

Locating File Processing Vulnerabilities

An application is vulnerable to attacks if it exhibits incorrect behavior while it reads and processes the contents of a specially crafted malicious file. These vulnerabilities are often caused due to programming bugs in the routines that parse and utilize the fields of a file. In this paper, we propose a solution for the discovery of this kind of vulnerabilities, using an approach that is base...

Bahuchara Mata

Static Analysis of File-Processing Programs using File Format Specifications

Programs that process data that reside in files are widely used in varied domains, such as banking, healthcare, and web-traffic analysis. Precise static analysis of these programs in the context of software verification and transformation tasks is a challenging problem. Our key insight is that static analysis of file-processing programs can be made more useful if knowledge of the input file for...

Y04-05 Mata Lima

In this article objective have been made to reviews different geostatistical methods available to estimate and simulate petrophysical properties (porosity and permeability) of the reservoir. Different geostatistical techniques that allow the combination of hard and soft data are taken into account and one refers the main reason to use the geostatistical simulation rather than estimation. Uncert...

Timing matters: the processing of pitch relations

The human central auditory system can automatically extract abstract regularities from a variant auditory input. To this end, temporarily separated events need to be related. This study tested whether the timing between events, falling either within or outside the temporal window of integration (~350 ms), impacts the extraction of abstract feature relations. We utilized tone pairs for which ton...